1. Formal program development : IFIP TC2/WG 2.1 state-of-the-art report
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Computer software-- Development,، Electronic digital computers-- Programming
رده :
QA
76
.
76
.
D47
.
F68
1993
2. Larch
پدیدآورنده : John V. Guttag, James J. Horning ; with S.J. Garland ... ]et al.[
موضوع : Electronic digital computers -- Programming,Computer software -- Development,Larch )Computer program language(
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
3. Professional software
پدیدآورنده : Ledgard, Henry F., 3491-
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع : ، Computer software- Development,، Electronic digital computers- Programming
4. Programming techniques for software development
پدیدآورنده : / Bebo White
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Computer software - Development,Electronic digital computers - Programming
رده :
QA76
.
76
.
D47W48
1989
5. Software development for engineers: with C, Pascal, C++, Assembly language, Visual Basic, HTML, JavaScript and Java
پدیدآورنده : Buchanan, William J.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Computer software-- Development,، Electronic digital computers-- Programming
رده :
QA
76
.
76
.
D47
.
B82
1997
6. Software engineering : a programming approach
پدیدآورنده : / Doug Bell, Ian Morrey, John Pugh
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Computer software - Development,Electronic digital computers - Programming
رده :
QA76
.
76
.
D47B45
1987
7. The specification of computer programs
پدیدآورنده : Turski, Wladyslaw
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع : ، Computer software- Development,، Electronic digital computers- Programming
